COMMENT ⊗   VALID 00013 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00003 00002	.DEVICE XGP
C00004 00003	.COMMENT Stage
C00006 00004	.COMMENT COND1
C00009 00005	.COMMENT Response1
C00011 00006	.COMMENT COND2
C00013 00007	.COMMENT COND3 please underline new part in RED
C00015 00008	.COMMENT COND4 please underline new part in RED
C00016 00009	.COMMENT COND5 please underline new part in RED
C00017 00010	.COMMENT COND6 please underline new part in RED
C00018 00011	.COMMENT COND7 please underline new part in RED
C00019 00012	.COMMENT COND8 please underline new part in RED
C00020 00013	.COMMENT Dialog seen by user
C00022 ENDMK
C⊗;
.DEVICE XGP
.!XGPCOMMANDS←"/TMAR=50/PMAR=2100/BMAR=50"

.FONT 1 "BASB30"
.FONT 2 "BDR66"
.FONT 4  "BDI40"
.FONT 7  "BDR40"
.FONT 8 "NGB25"
.FONT 9 "GRFX35"
.TURN ON "↑α[]↓_π{"
.TURN ON "⊗" FOR "%"
.TABBREAK
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.PAGE FRAME 54 HIGH 91 WIDE
.AREA TEXT LINES 1 TO 53
.DOUBLE SPACE
.PREFACE 2
.NOFILL
.PREFACE 1
.!XGPLFTMAR←100
.MACRO B ⊂ BEGIN NOFILL SELECT 9 INDENT 0 GROUP PREFACE 0 MILLS TURN OFF "{↑↓}[]α" ⊃
.MACRO E ⊂ APART END ⊃
.NEXT PAGE
.INDENT 0
.SELECT 1
.COMMENT Stage;
.GROUP SKIP 4
.ONCE CENTER SELECT 2
↓_The Stage is Set_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1



UNTIL-LOOPS: How do we know when to stop this loop, 
	and when to continue? 
	That is, how can we tell if the scene matches
	the model or fails to match?


USER: ⊗4The match fails if any feature in model's 
	features is incompatible with scene's features.⊗*


FOREACH-LOOPS:  I translate this into
  (Foreach F in Model-f (Not (F "is incompatible with" Scene-f))). 

.END
.SKIP TO COLUMN 1
.COMMENT COND1;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_The COND initially set up by ALTERN._↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

⊗4A Contradiction Occurs if...⊗*


(COND

\( if (F is the kind of Model-f having prob=1 of presence in Scene-f)
\\then (contradiction iff (prob=1 kind of contradiction)) )

\( if (F is the kind of Model-f having prob=0 of presence in Scene-f)
\\then (contradiction iff (prob=0 kind of contradiction)) )

\( if (F is the kind of Model-f having prob⊗7>0&<1⊗* of presence in Scene-f)
\\then (contradiction iff (prob⊗7>0&<1⊗* kind of contradiction)) )

\( otherwise          default-response ) 
 )
.END
.SKIP TO COLUMN 1
.COMMENT Response1;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_Working on the First Response_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1


	⊗4Originally written by ALTERNATIVES:⊗*
  ...then (contradiction iff (prob=1 kind of contradiction)) 


	⊗4Rewritten by CONTRADICTION:⊗*
  ...then (contradiction of (model feature F is present in set of Scene-Features))


	⊗4Partially transformed by MEMBERSHIP:⊗*
  ...then (contradiction of (MEMBER F Scene-F)) 


	⊗4Transformation furthered by CONTRADICTION:⊗*
  ...then (negation of (MEMBER F Scene-F))


	⊗4Transformation completed by NEGATION:⊗*
  ...then (NOT (MEMBER F Scene-F))

.END
.SKIP TO COLUMN 1
.COMMENT COND2;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_After the 1st Response is Done_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

⊗4A Contradiction Occurs if...⊗*


(COND

\( if (F is the kind of Model-f having prob=1 of presence in Scene-f)
\\then    ⊗4(NOT   (MEMBER  F  SCENE-F)) )⊗*

\( if (F is the kind of Model-f having prob=0 of presence in Scene-f)
\\then (contradiction iff (prob=0 kind of contradiction)) )

\( if (F is the kind of Model-f having prob⊗7>0&<1⊗* of presence in Scene-f)
\\then (contradiction iff (prob⊗7>0&<1⊗* kind of contradiction)) )

\( otherwise          default-response ) 
 )
.END
.SKIP TO COLUMN 1
.COMMENT COND3 please underline new part in RED;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_After the 2nd Response is Done_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

⊗4A Contradiction Occurs if...⊗*


(COND

\( if (F is the kind of Model-f having prob=1 of presence in Scene-f)
\\then   (NOT   (MEMBER  F  SCENE-F)) )

\( if (F is the kind of Model-f having prob=0 of presence in Scene-f)
\\then   ⊗4(MEMBER  F  SCENE-F)) )⊗*

\( if (F is the kind of Model-f having prob⊗7>0&<1⊗* of presence in Scene-f)
\\then (contradiction iff (prob⊗7>0&<1⊗* kind of contradiction)) )

\( otherwise          default-response ) 
 )
.END
.SKIP TO COLUMN 1
.COMMENT COND4 please underline new part in RED;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_After the 3rd Response is Done_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

⊗4A Contradiction Occurs if...⊗*


(COND

\( if (F is the kind of Model-f having prob=1 of presence in Scene-f)
\\then   (NOT   (MEMBER  F  SCENE-F)) )

\( if (F is the kind of Model-f having prob=0 of presence in Scene-f)
\\then   (MEMBER  F  SCENE-F)) )

\( if (F is the kind of Model-f having prob⊗7>0&<1⊗* of presence in Scene-f)
\\then    ⊗4NIL )⊗*

\( otherwise          default-response ) 
 )
.END
.SKIP TO COLUMN 1
.COMMENT COND5 please underline new part in RED;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_Transformed Branch Tests_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

⊗4A Contradiction Occurs if...⊗*


(COND

\( if ⊗4(MEMBER  F  PROB=1-PART-OF-MODEL-F)⊗*
\\then   (NOT   (MEMBER  F  SCENE-F)) )

\( if ⊗4(MEMBER  F  PROB=0-PART-OF-MODEL-F)⊗*
\\then   (MEMBER  F  SCENE-F)) )

\( if ⊗4(MEMBER  F  PROB>0&<1-PART-OF-MODEL-F)⊗*
\\then    NIL )

\( otherwise          default-response ) 
 )
.END
.SKIP TO COLUMN 1
.COMMENT COND6 please underline new part in RED;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_Shorter Names Chosen_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

⊗4A Contradiction Occurs if...⊗*


(COND

\( if (MEMBER  F  ⊗4P1-MODEL-F)⊗*
\\then   (NOT   (MEMBER  F  SCENE-F)) )

\( if (MEMBER  F  ⊗4P0-MODEL-F)⊗*
\\then   (MEMBER  F  SCENE-F)) )

\( if (MEMBER  F  ⊗4P01-MODEL-F)⊗*
\\then    NIL )

\( otherwise          default-response ) 
 )
.END
.SKIP TO COLUMN 1
.COMMENT COND7 please underline new part in RED;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_Only 3 Categories Possible_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

⊗4A Contradiction Occurs if...⊗*


(COND

\( if (MEMBER  F  P1-MODEL-F)
\\then   (NOT   (MEMBER  F  SCENE-F)) )

\( if (MEMBER  F  P0-MODEL-F)
\\then   (MEMBER  F  SCENE-F)) )

\( ⊗4T⊗*
\\then    NIL )




 )
.END
.SKIP TO COLUMN 1
.COMMENT COND8 please underline new part in RED;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_Renamed by User_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

⊗4A Contradiction Occurs if...⊗*


(COND

\( if (MEMBER  F  ⊗4MUST)⊗*
\\then   (NOT   (MEMBER  F  SCENE-F)) )

\( if (MEMBER  F  ⊗4MUSTNOT)⊗*
\\then   (MEMBER  F  SCENE-F)) )

\( T
\\then    NIL )




 )
.END
.SKIP TO COLUMN 1
.COMMENT Dialog seen by user;
.GROUP SKIP 3
.ONCE CENTER SELECT 2
↓_From the User's Point of View_↓

.BEGIN SELECT 7 INDENT 0 PREFACE 1

.TURN ON "\" TABS 6,11

USER: ⊗4The model fails to match the scene iff
        any feature in the model's features is
	incompatible with the scene's features.⊗*

PUP6: I recommend: CF should store each model's features
	(currently called MODEL-F) in 3 disjoint lists:
	    P1-MODEL-F, which will hold features whose occurrence has prob=1
	    P0-MODEL-F, which will hold features whose occurrence has prob=0
	    P01-MODEL-F, which will hold all other features
	I want your permission. Please type back some of the following:
		Yes, No, Details?, Defer, or three new names for the substructures

USER: ⊗4Must, Mustnot, May.⊗*

PUP6: In all newly-generated Beings, there were 4 occurences of 
	MODEL-F located.  In all 4 cases, MODEL-F was replaced
	by (APPEND   MUST   MUSTNOT   MAY).
.END
.SKIP TO COLUMN 1